KEYWORD |
Keyword: SECURITY, MODELS, ANALYSIS TOOLS
Model-based development of security-aware applications in Java SISTO RICCARDO FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP |
KEYWORD |
Model-based development of security-aware applications in Java SISTO RICCARDO FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP |